Chinese translation for "hoare logic"

hoare逻辑

Related Translations:

hoare:  霍尔

hoare逻辑:  hoare logic

hoare axiom:  霍尔公理

samuel hoare:  赛缪尔霍尔

brendan hoare:  何马先生

hoare reef:  霍尔礁

henry hoare ii:  亨利霍尔二世

active logic:  有源逻辑

contention logic:  争用逻辑

core logic:  磁心逻辑

Example Sentences:

1.

The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics 主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。

Similar Words：

"hoarding sheet" Chinese translation, "hoardings" Chinese translation, "hoare" Chinese translation, "hoare (j" Chinese translation, "hoare axiom" Chinese translation, "hoare reef" Chinese translation, "hoare-laval pact" Chinese translation, "hoareau" Chinese translation, "hoarestott development ltd" Chinese translation, "hoarestott finance ltd" Chinese translation